This book cover theory, practice, applications, and experiences related to secure software.
Lire la suiteThis book cover theory, practice, applications, and experiences related to secure software.
Lire la suiteThe theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent ...
Lire la suiteThe book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Lire la suiteThe book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Lire la suiteThough multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...
Lire la suiteThis volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
Lire la suiteThis volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Lire la suiteBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Lire la suiteComputing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...
Lire la suiteThis volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...
Lire la suiteConstitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...
Lire la suiteThe papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...
Lire la suiteCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lire la suiteThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suiteThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite